Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
extern void setfpreg (unsigned long regnum, struct ia64_fpreg *fpval, struct pt_regs *regs);
-extern void panic_domain(struct pt_regs *, const char *, ...);
-
typedef union {
struct ia64_psr ia64_psr;
unsigned long i64;
extern void vmx_setup_platform(struct domain *d);
extern void vmx_wait_io(void);
extern void vmx_io_assist(struct vcpu *v);
-extern void panic_domain(struct pt_regs *regs, const char *fmt, ...);
extern int ia64_hypercall (struct pt_regs *regs);
extern void vmx_save_state(struct vcpu *v);
extern void vmx_load_state(struct vcpu *v);